"Rydeheard D.E." скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigne

Категория: Компьютеры

17.83 Mb

#2

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigne, David E. Rydeheard

Категория: Компьютеры

17.48 Mb

#3

Computational Category Theory (Prentice-Hall International Series in Computer Science)

D. E. Rydeheard, Burstall

907 Kb

#4

Rydeheard D.E., Burstall R.M. Computational category theory (web draft, 2003)(263s)_MAct_.pdf

874 Kb

#5

Rydeheard D.E., Burstall R.M. Computational category theory (c. 1990)(263s).pdf

931 Kb

#6

Computational category theory

D. E. Rydeheard, Burstall

Категория: Mathematics, Algebra, Category theory

931 Kb

#7

Computational category theory

Rydeheard D.E., Burstall R.M.

Категория: Mathematics, Algebra, Category theory

874 Kb

#8

Category Theory and Computer Programming

David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard

Категория: Cs_Computer science, CsLn_Lecture notes

3.80 Mb

#9

Category Theory and Computer Science, 4 conf

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigne, David E. Rydeheard

Категория: Cs_Computer science, CsLn_Lecture notes

2.68 Mb

#10

Category Theory and Computer Science 1987

David H. Pitt, Axel Poigne, David E. Rydeheard

Категория: Cs_Computer science, CsLn_Lecture notes

2.72 Mb

#11

Category Theory and Computer Science 1989

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigne

Категория: Cs_Computer science, CsLn_Lecture notes

2.82 Mb

#12

Category Theory and Computer Science, 6 conf., CTCS '95

D. E. Rydeheard, David Pitt, David E. Rydeheard, Peter Johnstone

Категория: Cs_Computer science, CsLn_Lecture notes

1.82 Mb

#13

Computational Category Theory

D E Rydeheard R M Burstall

921 Kb